Møgelberg, N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Synthetic domain theory and models of linear Abadi & Plotkin logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 604 KB

english, 2008

2

Atmospheric chemistry of HFC-134a. Kinetic and mechanistic study of the CF3CFHO2+NO2 reaction

Trine E. Møgelberg, Ole J. Nielsen, Jens Sehested, Timothy J. Wallington, Michael D. Hurley, William F. Schneider

Journal:

Chemical Physics Letters

Year:

1994

Language:

english

File:

PDF, 534 KB

english, 1994

3

Domain-theoretical models of parametric polymorphism

L. Birkedal, R.E. Møgelberg, R.L. Petersen

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 588 KB

english, 2007

4

Atmospheric Chemistry of CF 3 CFHCF 3 (HFC-227ea): Spectrokinetic Investigation of the CF 3 CFO 2• CF 3 Radical, Its Reactions with NO and NO 2 , and Fate of the CF 3 CFO • CF 3 Radical

Møgelberg, Trine E., Sehested, Jens, Bilde, Merete, Wallington, Timothy J., Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 731 KB

english, 1996

5

Relational Parametricity for Control Considered as a Computational Effect

Rasmus Ejlers Møgelberg, Alex Simpson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 372 KB

english, 2007

6

The enriched effect calculus: syntax and semantics

Egger, J., Mogelberg, R. E., Simpson, A.

Journal:

Journal of Logic and Computation

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

7

Absolute rate constants for the self reactions of HO2, CF3CFHO2, and CF3O2 radicals and the cross reactions of HO2 with FO2, HO2 with CF3CFHO2, and HO2 with CF3O2 at 295 K

Jens Sehested, Trine Møgelberg, Kjell Fagerström, Gharib Mahmoud, Timothy J. Wallington

Journal:

International Journal of Chemical Kinetics

Year:

1997

Language:

english

File:

PDF, 175 KB

english, 1997

8

Atmospheric Chemistry of CF 2 BrH: Kinetics and Mechanism of Reaction with F and Cl Atoms and Fate of CF 2 BrO Radicals

Bilde, Merete, Sehested, Jens, Møgelberg, Trine E., Wallington, Timothy J., Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 554 KB

english, 1996

9

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes

Birkedal, Lars, Mogelberg, Rasmus Ejlers

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

10

Modal dependent type theory and dependent right adjoints

Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 388 KB

english, 2019

11

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - A type theory for productive coprogramming via guarded recursion

Møgelberg, Rasmus Ejlers

Year:

2014

Language:

english

File:

PDF, 341 KB

english, 2014

12

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 476 KB

english, 2006

13

Atmospheric Chemistry of HFC-236cb: Spectrokinetic Investigation of the CF3CF2CFHO2 Radical, Its Reaction with NO and NO2, and the Fate of the CF3CF2CFHO Radical

Mogelberg, Trine E., Feilberg, Anders, Giessing, Anders M. B., Sehested, Jens, Bilde, Merete, Wallington, Timothy J., Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1995

Language:

english

File:

PDF, 919 KB

english, 1995

14

Atmospheric Chemistry of 1,1,1,2-Tetrachloroethane (CCl 3 CH 2 Cl): Spectrokinetic Investigation of the CCl 3 CClHO 2 Radical, Its Reactions with NO and NO 2 , and Atmospheric Fate of the CCl 3 CClHO Radical

Møgelberg, Trine E., Bilde, Merete, Sehested, Jens, Wallington, Timothy J., Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 807 KB

english, 1996

15

Dimethyl Ether Oxidation: Kinetics and Mechanism of the CH 3 OCH 2 + O 2 Reaction at 296 K and 0.38−940 Torr Total Pressure

Sehested, J., Møgelberg, T., Wallington, T. J., Kaiser, E. W., Nielsen, O. J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 495 KB

english, 1996

16

Modal dependent type theory and dependent right adjoints

Birkedal, Lars, Clouston, Ranald, Mannaa, Bassel, Ejlers Møgelberg, Rasmus, Pitts, Andrew M., Spitters, Bas

Journal:

Mathematical Structures in Computer Science

Year:

2019

File:

PDF, 388 KB

2019

17

Atmospheric Chemistry of 1,2-Dichloroethane: UV Spectra of CH 2 ClCHCl and CH 2 ClCHClO 2 Radicals, Kinetics of the Reactions of CH 2 ClCHCl Radicals with O 2 and CH 2 ClCHClO 2 Radicals with NO and NO 2 , and Fate of the Alkoxy Radical CH 2 ClCHClO

Wallington, Timothy J., Bilde, Merete, Møgelberg, Trine E., Sehested, Jens, Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 587 KB

english, 1996

18

Alternative fuel and fuel additives: Atmospheric chemistry of 1,4-Di- and 1,3,5-trioxane

J. Platz, J. Sehested, T. Møgelberg, O.J. Nielsen, T.J. Wallington

Journal:

Journal of Aerosol Science

Year:

1997

Language:

english

File:

PDF, 107 KB

english, 1997

19

[IEEE 1997 Digest of the IEEE/LEOS Summer Topical Meeting: Vertical-Cavity Lasers/Technologies for a Global Information Infrastructure/WDM Components Technology/Advanced Semiconductor Lasers and Applications/Gallium Nitride Materials, Processing, and Devices (Cat. No.97TH8276) - Montreal, Que., Canada (11-15 Aug. 1997)] 1997 Digest of the IEEE/LEOS Summer Topical Meeting: Vertical-Cavity Lasers/Technologies for a Global Information Infrastructure/WDM Components Technology/Advanced Semiconductor Lasers and Applications/Gallium Nitride Materials, Processing, and Devices (C - Monitoring of molecular species using near-infrared extended cavity diode lasers

Simonsen, H.R., Henningsen, J., Mogelberg, T.

Year:

1997

Language:

english

File:

PDF, 101 KB

english, 1997

20

Atmospheric chemistry of CF3COOH. Kinetics of the reaction with OH radicals

Trine E. Møgelberg, Ole J. Nielsen, Jens Sehested, Timothy J. Wallington, Michael D. Hurley

Journal:

Chemical Physics Letters

Year:

1994

Language:

english

File:

PDF, 621 KB

english, 1994

21

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus

Lars Birkedal, Rasmus E. Møgelberg, Rasmus L. Petersen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

22

Second-harmonic and sum-frequency generation in AgGaSe2with tunable waveguide CO2lasers

J. Henningsen, S. A. Trushin, T. Møgelberg, M. Hammerich

Journal:

Applied Physics B: Lasers and Optics

Year:

1995

Language:

english

File:

PDF, 777 KB

english, 1995

23

Chlorine and fluorine atoms adducts with halogenated compounds in the gas phase

M. Bilde, J. Sehested, T.E. Møgelberg, O.J. Nielsen, T.J. Wallington

Journal:

Journal of Aerosol Science

Year:

1997

Language:

english

File:

PDF, 107 KB

english, 1997

24

Dimethyl ether oxidation: Kinetics and mechanism of the CH3OCH2 + O2 reaction at 296 K and 0.38–940 TORR total pressure

J. Sehested, T. Møgelberg, J. Platz, O.J. Nielsen, T.J. Wallington, E.W. Kaiser

Journal:

Journal of Aerosol Science

Year:

1997

Language:

english

File:

PDF, 192 KB

english, 1997

25

Atmospheric Chemistry of Dimethyl Carbonate: Reaction with OH Radicals, UV Spectra of CH 3 OC(O)OCH 2 and CH 3 OC(O)OCH 2 O 2 Radicals, Reactions of CH 3 OC(O)OCH 2 O 2 with NO and NO 2 , and Fate of CH 3 OC(O)OCH 2 O Radicals

Bilde, M., Møgelberg, T. E., Sehested, J., Nielsen, O. J., Wallington, T. J., Hurley, M. D., Japar, S. M., Dill, M., Orkin, V. L., Buckley, T. J., Huie, R. E., Kurylo, M. J.

Journal:

Journal of Physical Chemistry A

Year:

1997

Language:

english

File:

PDF, 409 KB

english, 1997

26

A Model of Guarded Recursion With Clock Synchronisation

Bizjak, Aleš, Møgelberg, Rasmus Ejlers

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 310 KB

english, 2015

27

Atmospheric chemistry of FCOx radicals: Kinetic and mechanistic study of the FC(O)O2 + NO2 reaction

Timothy J. Wallington, William F. Schneider, Trine E. Møgelberg, Ole J. Nielsen, Jens Sehested

Journal:

International Journal of Chemical Kinetics

Year:

1995

Language:

english

File:

PDF, 688 KB

english, 1995

28

Atmospheric Chemistry of HFC-236cb: Fate of the Alkoxy Radical CF 3 CF 2 CFHO

Møgelberg, Trine E., Sehested, Jens, Tyndall, Geoffrey S., Orlando, John J., Fracheboud, Jean-Marc, Wallington, Timothy J.

Journal:

Journal of Physical Chemistry A

Year:

1997

Language:

english

File:

PDF, 133 KB

english, 1997

29

Absolute and Relative Rate Constants for the Reactions CH 3 C(O)O 2 + NO and CH 3 C(O)O 2 + NO 2 and Thermal Stability of CH 3 C(O)O 2 NO 2

Sehested, Jens, Christensen, Lene Krogh, Møgelberg, Trine, Nielsen, Ole J., Wallington, Timothy J., Orlando, J., Tyndall, Geoffrey S.

Journal:

Journal of Physical Chemistry A

Year:

1998

Language:

english

File:

PDF, 150 KB

english, 1998

30

Atmospheric Chemistry of Pentachloroethane (CCl3CCl2H): Absorption Spectra of CCl3CCl2 and CCl3CCl2O2 Radicals, Kinetics of the CCl3CCl2O2 + NO Reaction, and Fate of the CCl3CCl2O Radical

Mogelberg, Trine E., Sehested, Jens, Nielsen, Ole J., Wallington, Timothy J.

Journal:

Journal of Physical Chemistry

Year:

1995

Language:

english

File:

PDF, 780 KB

english, 1995

31

Role of Excited CF 3 CFHO Radicals in the Atmospheric Chemistry of HFC-134a

Wallington, T. J., Hurley, M. D., Fracheboud, J. M., Orlando, J. J., Tyndall, G. S., Sehested, J., Møgelberg, T. E., Nielsen, O. J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 434 KB

english, 1996

32

A Model of PCF in Guarded Type Theory

Paviotti, Marco, Møgelberg, Rasmus Ejlers, Birkedal, Lars

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

33

Kinetics and Mechanism of the Reaction of F Atoms with CH 3 Br

Sehested, Jens, Bilde, Merete, Møgelberg, Trine, Wallington, Timothy J., Nielsen, Ole John

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 772 KB

english, 1996

34

Simply RaTT: a fitch-style modal calculus for reactive programming without space leaks

Bahr, Patrick, Graulund, Christian Uldal, Møgelberg, Rasmus Ejlers

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 430 KB

english, 2019

35

Atmospheric Chemistry of HFC-272ca: Spectrokinetic Investigation of the CH3CF2CH2O2 Radical, Its Reactions with NO and NO2, and the Fate of the CH3CF2CH2O Radical

Mogelberg, Trine E., Nielsen, Ole J., Sehested, Jens, Wallington, Timothy J., Hurley, Michael D.

Journal:

Journal of Physical Chemistry

Year:

1995

Language:

english

File:

PDF, 730 KB

english, 1995

36

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - The clocks are ticking: No more delays!

Bahr, Patrick, Grathwohl, Hans Bugge, Mogelberg, Rasmus Ejlers

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

37

A Nominal Relational Model for Local Store

Rasmus Ejlers Møgelberg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 285 KB

english, 2010

38

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Denotational semantics of recursive types in synthetic guarded domain theory

Møgelberg, Rasmus Ejlers, Paviotti, Marco

Year:

2016

Language:

english

File:

PDF, 305 KB

english, 2016

39

PP138-SUN: The Effect of High Protein Diet in Combination with Physical Activity in the Rehabilitation of Patients with Chronic Obstructive Pulmonary Disease (COPD) – A Pilot Study

Møgelberg, N., Svarstad, R., Godtfredsen, N.S., Nørgaard, A., Andersen, J.R.

Journal:

Clinical Nutrition

Year:

2014

Language:

english

File:

PDF, 58 KB

english, 2014

40

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Relational Parametricity for Computational Effects

Mogelberg, Rasmus Ejlers, Simpson, Alex

Year:

2007

Language:

english

File:

PDF, 232 KB

english, 2007

41

The 0 → 3 Overtone Band of CO: Precise Linestrengths and Broadening Parameters

Jes Henningsen, Harald Simonsen, Trine Møgelberg, Eva Trudsø

Journal:

Journal of Molecular Spectroscopy

Year:

1999

Language:

english

File:

PDF, 198 KB

english, 1999

42

Atmospheric Chemistry of HFC-227ca: Spectrokinetic Investigation of the CF 3 CF 2 CF 2 O 2 Radical, Its Reactions with NO and NO 2 , and the Atmospheric Fate of the CF 3 CF 2 CF 2 O Radical

Giessing, Anders M. B., Feilberg, Anders, Møgelberg, Trine E., Sehested, Jens, Bilde, Merete, Wallington, Timothy J., Nielsen, Ole J.

Journal:

Journal of Physical Chemistry

Year:

1996

Language:

english

File:

PDF, 566 KB

english, 1996

43

Atmospheric chemistry of HFC-134a: Kinetics of the decomposition of the alkoxy radical CF3CFHO

Trine E. Møgelberg, Jens Sehested, Timothy J. Wallington, Ole J. Nielsen

Journal:

International Journal of Chemical Kinetics

Year:

1997

Language:

english

File:

PDF, 163 KB

english, 1997

44

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees

Birkedal, Lars, Mogelberg, Rasmus Ejlers, Schwinghammer, Jan, Stovring, Kristian

Year:

2011

Language:

english

File:

PDF, 315 KB

english, 2011

45

Atmospheric Chemistry of HFC-236fa: Spectrokinetic Investigation of the CF3CHO2.bul.CF3 Radical, Its Reaction with NO, and the Fate of the CF3CHO.bul.CF3 Radical

Mogelberg, Trine E., Platz, Jesper, Nielsen, Ole J., Sehested, Jens, Wallington, Timothy J.

Journal:

Journal of Physical Chemistry

Year:

1995

Language:

english

File:

PDF, 659 KB

english, 1995

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски